An indirect sufficiency proof for problems with bounded state variables

On Control Problems with Bounded State Variables

Inclusion Problems for Patterns with a Bounded Number of Variables

We study the inclusion problems for pattern languages that are generated by patterns with a bounded number of variables. This continues the work by Freydenberger and Reidenbach (Information and Computation 208 (2010)) by showing that restricting the inclusion problem to significantly more restricted classes of patterns preserves undecidability, at least for comparatively large bounds. For small...

On the generalization of Trapezoid Inequality for functions of two variables with bounded variation and applications

In this paper, a generalization of trapezoid inequality for functions of two independent variables with bounded variation and some applications are given.

Scheduled Review Methods for Controllable State Variables

In many real systems in which a state variable should be controlled for being in appropriate range, the length of control (review) intervals is taken to be constant. In such systems, when the cost of reviews and out-of-range values of the state variable are considerable, this method may not be optimal. In this paper we let the length of review intervals to be variable during each operating cycl...

Characterising Definable Search Problems in Bounded Arithmetic via Proof Notations

The complexity class of Πpk-Polynomial Local Search (PLS) problems with Πp` -goal is introduced, and is used to give new characterisations of definable search problems in fragments of Bounded Arithmetic. The characterisations are established via notations for propositional proofs obtained by translating Bounded Arithmetic proofs using the Paris-Wilkie-translation. For ` ≤ k, the Σ`+1-definable ...